Aspects preserving properties
نویسندگان
چکیده
منابع مشابه
Preserving Properties Under Change
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specifically, we will investigate when a temporal logic property of an Object-Z class is preserved under a modification or extension of the class with new features. To this end, we use the slicing technique from program analysi...
متن کاملPde - Preserving Properties
A continuous linear operator T , on the space of entire functions in d variables, is PDE-preserving for a given set P ⊆ C[ξ1, ..., ξd] of polynomials if it maps every kernel-set ker P (D), P ∈ P, invariantly. It is clear that the set O(P) of PDE-preserving operators for P forms an algebra under composition. We study and link properties and structures on the operator side O(P) versus the corresp...
متن کاملOn Preserving Properties of Linear Maps on $C^{*}$-algebras
Let $A$ and $B$ be two unital $C^{*}$-algebras and $varphi:A rightarrow B$ be a linear map. In this paper, we investigate the structure of linear maps between two $C^{*}$-algebras that preserve a certain property or relation. In particular, we show that if $varphi$ is unital, $B$ is commutative and $V(varphi(a)^{*}varphi(b))subseteq V(a^{*}b)$ for all $a,bin A$, then $varphi$ is a $*$-homomorph...
متن کاملPreserving Regularity and Related Properties
A nite string-rewriting system R preserves regularity if and only if it preserves-regularity, where is the alphabet containing exactly those letters that have occurrences in the rules of R. This proves a conjecture of Gyenizse and VV agvv olgyi (1995). In addition, some undecidability results are presented that generalize some results of Gilleron and Ti-son (1995) from term-rewriting systems to...
متن کاملPreserving (Security) Properties under Action Refinement
In the design process of distributed systems we may have to replace abstract specifications of components by more concrete specifications, thus providing more detailed design information. In the context of process algebra this well-known approach is often referred to as action refinement. In this paper we study the relationships between action refinement, compositionality, and (security) proces...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2012
ISSN: 0167-6423
DOI: 10.1016/j.scico.2011.10.010